Making Abstraction Refinement Efficient in Model Checking?

机译：在模型检查中使抽象细化有效吗？

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Cong Tian; Zhenhua Duan;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An efficient approach for abstraction-refinement in model checking [J] . Cong Tian, Zhenhua Duan, Nan Zhang Theoretical computer science . 2012,第Null期

机译：在模型检查中进行抽象提炼的有效方法
2. Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement [J] . Computers, IEEE Transactions on . 2010,第4期

机译：高效抽象提炼的大型异步设计的模块化模型检查
3. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement [J] . Sumit Kumar Jha, Christopher James Langmead Theoretical computer science . 2011,第21期

机译：利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
4. Efficient uninterpreted function abstraction and refinement for word-level model checking [C] . Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Conference on Formal Methods in Computer-Aided Design . 2016

机译：高效的未解释函数抽象和优化，用于词级模型检查
5. Efficient Abstraction and Refinement for Word-level Model Checking [D] . Ho, Yen-Sheng. 2017

机译：用于字级模型检查的高效抽象和改进
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. An efficient approach for abstraction-refinement in model checking [O] . Tian Cong, Duan Zhenhua, Zhang Nan 2012

机译：在模型检查中进行抽象提炼的有效方法

Making Abstraction Refinement Efficient in Model Checking?

著录项

引文网络

相似文献

相关主题

期刊订阅